<?php

namespace sent\jwt\exception;

class UserNotDefinedException extends JWTException {
}
